set_attribute library {{
/chalmers/sw/sup/cds/hcmos9gp-9.2/CORE9GPHS_SNPS_AVT_4.1.a/SNPS/bc_1.32V_0C_wc_1.08V_105C/PHS/CORE9GPHS_Nom.lib
/chalmers/sw/sup/cds/hcmos9gp-9.2/CORX9GPHS_SNPS_AVT_7.1.a/SNPS/bc_1.32V_0C_wc_1.08V_105C/PHS/CORX9GPHS_Nom.lib
}}
read_hdl -vhdl ./vhd/custom_types.vhd ./vhd/precalc.vhd ./vhd/RCA.vhd ./vhd/logic_unit.vhd ./vhd/shift_unit.vhd ./vhd/mux16x1.vhd ./vhd/busInvertCoding.vhd ./vhd/dfs.vhd ./vhd/decoder.vhd ./vhd/ALU_RCA.vhd
elaborate
synthesize -to_mapped -effort low
report timing > unconstrained_timing_gates_report.txt
report gates  >> unconstrained_timing_gates_report.txt
define_clock -name main_clk -period 8837 [find / -port mainClk]
synthesize -to_mapped -effort medium
report timing > constrained_8837_timing_gates_report.txt
report gates  >> constrained_8837_timing_gates_report.txt
write_hdl > ./vhd/ALU_RCA.v

read_saif -instance rca_alu ALU_RCA.saif
report power > power_report_saif.txt